On the expressive power of schemes
نویسندگان
چکیده
We present a calculus, called the scheme-calculus, that permits to express natural deduction proofs in various theories. Unlike λ-calculus, the syntax of this calculus sticks closely to the syntax of proofs, in particular, no names are introduced for hypotheses. We show that despite its nondeterminism, this scheme-calculus has the same expressivity as the corresponding typed λ-calculus.
منابع مشابه
Parallel Functions In Recursive Program Schemes
We consider models of sequential programs (recursive program schemes) and analyze their extension with parallel functions. For this purpose, we introduce a special class of parallel functions (called invariant functions) that don’t depend on interpretation of domain on which they are defined. Expressive power of extended classes of recursive schemes is analyzed in terms of sequential reducibili...
متن کاملCompilation Schemes: A Theoretical Tool for Assessing the Expressive Power of Planning Formalisms
The recent approaches of extending the graphplan algorithm to handle more expressive planning formalisms raise the question of what the formal meaning of \expressive power" is. We formalize the intuition that expressive power is a measure of how concisely planning domains and plans can be expressed in a particular formalism by introducing the notion of \compilation schemes" between planning for...
متن کاملPerformance Scrutiny of Two Control Schemes Based on DSM and HB in Active Power Filter
This paper presents a comparative analysis between two current control strategies, constant source power and generalized Fryze current, used in Active Power Filter (APF) applications having three different modulation methods. The Hysteresis Band (HB) and first-order Delta-Sigma Modulation (DSM) as well as the second-order DSM is applied. The power section of the active power filter is viewed as...
متن کاملارائه یک طرح حفاظت ویژه برای مقابله با پیشامدهای شدید ناحیه فارس در جنوب شبکه سراسری ایران
In the recent years use of Special Protection Schemes due to impact of notable these schemes in improving the performance of power systems has found increasing usage. The purpose of this paper is design a suitable and fast special protection schemes to deal with extreme contingency that will led to collapse of power network if they occurred. So at the first, for a clear form of power tran...
متن کاملDescribing Knowledge Representation Schemes: a Formal Account
The representation and manipulation of knowledge has been drawing a great deal of attention since the early days of computer science, resulting in the introduction of numerous different Knowledge Representation schemes (KRschemes). Given the great variety of such available schemes, it would be desirable to have a uniform way of treating them. In this report, we propose a formal, unifying framew...
متن کاملA theory for comparing the expressive power of access control models
Comparing the expressive power of access control models is recognized as a fundamental problem in computer security. While such comparisons are generally based on simulations between different access control schemes, the definitions for simulations that are used in the literature are informal, and make it impossible to put results and claims about the expressive power of access control models i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Inf. Comput.
دوره 209 شماره
صفحات -
تاریخ انتشار 2011